Englisch-Finnisch Übersetzung für decidable
Definition für decidable
- capable of being decided
- in intuitionistic logic, a proposition ''P'is decidable in a given theory if it can be proven from the theory that "either ''P'or not ''P''", i.e. in symbols: .
[http://plato.stanford.edu/entries/logic-intuitionistic/]
Anwendungsbeispiele
- It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine.
Häufigste Anfragen
Beliebte Wörterbücher